Applying Coloured Petri Nets and Design/CPN to an Air-to-Air Missile Simulator
نویسندگان
چکیده
In this paper the communication mechanisms of a missile engagement simulator are modelled and analysed. The simulator is developed as a testing platform for missile guidance and control algorithms. The simulation uses concurrency and remote execution concepts to enhance performance. Coloured Petri nets are a well suited formal approach for modelling and analysis of these concepts. Design/CPN is used to create and analyse the model of the simulation. A new requirement of the graphical user interface is identi ed for the simulation to operate successfully. The communication mechanisms are without deadlocks and are suitable for the simulator.
منابع مشابه
CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets
CPN Tools is a tool for editing, simulating and analysing Coloured Petri Nets. The GUI is based on advanced interaction techniques, such as toolglasses, marking menus, and bi-manual interaction. Feedback facilities provide contextual error messages and indicate dependency relationships between net elements. The tool features incremental syntax checking and code generation which take place while...
متن کاملAn Application of Coloured Petri Nets to Business Process Reengineering
An approach to business process reengineering (BPR) is presented and illustrated in the paper. The approach is based on Coloured Petri Nets (CPN) as a general tool for modeling, simulation and analysis of system processes. In realization of a BPR project there are two crucial phases in which the AS-IS model and the TO-BE model are created. This implies the use of the appropriate techniques for ...
متن کاملModel-based Operational Planning Using Coloured Petri Nets
This paper presents a framework for modelling military operational plans with Coloured Petri Nets (CPN) and its supporting computer tool, Design/CPN. A mapping relationship between key concepts of an operational plan and CPN constructs is established. Parts of an exercise campaign plan were modelled using the proposed framework, and state space analysis of the model conducted to assess operatio...
متن کاملAvailability evaluation of Software architecture of object oriented Style using coloured Petri nets
Software architecture is one of the most fundamental products in the process of software development in the areas of behavioral or non- behavioral features like availability or transformability change. There are different ways to evaluate software architecture one of which is the creation of application model. An executable model of software architecture is an official description of architectu...
متن کاملA Case Study on Coloured Petri Nets in Object-Oriented Analysis and Design
In this paper, we first demonstrate how a coloured Petri nets (CPN) model can be used to capture requirements for a considered example system, an elevator controller. Then, we show how this requirements-level CPN model is transformed into a design-level object-oriented CPN model, which is structurally and conceptually closer to class diagrams and object-oriented programming languages. The CPN m...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998